An Algebraic Approach to Nivat's Conjecture

This thesis introduces a new, algebraic method to study multidimensional configurations, also sometimes called words, which have low pattern complexity. This is the setting of several open problems, most notably Nivat’s conjecture, which is a generalization of Morse-Hedlund theorem to two dimensions, and the periodic tiling problem by Lagarias and Wang. We represent configurations as formal power series over d variables where d is the dimension. This allows us to study the ideal of polynomial annihilators of the series. In the two-dimensional case we give a detailed description of the ideal, which can be applied to obtain partial results on the aforementioned combinatorial problems. In particular, we show that configurations of low complexity can be decomposed into sums of periodic configurations. In the two-dimensional case, one such decomposition can be described in terms of the annihilator ideal. We apply this knowledge to obtain the main result of this thesis – an asymptotic version of Nivat’s conjecture. We also prove Nivat’s conjecture for configurations which are sums of two periodic ones, and as a corollary reprove the main result of Cyr and Kra from [CK15].Algebrallinen lähestymistapa Nivat’n konjektuuriin Tässä väitöskirjassa esitetään uusi, algebrallinen lähestymistapa moniulotteisiin,matalan kompleksisuuden konfiguraatioihin. Näistä konfiguraatioista, joita moniulotteisiksi sanoiksikin kutsutaan, on esitetty useita avoimia ongelmia. Tärkeimpinä näistä ovat Nivat’n konjektuuri, joka on Morsen-Hedlundin lauseen kaksiulotteinen yleistys, sekä Lagariaksen ja Wangin jaksollinen tiilitysongelma. Väitöskirjan lähestymistavassa d-ulotteiset konfiguraatiot esitetään d:n muuttujan formaaleina potenssisarjoina. Tämä mahdollistaa konfiguraation polynomiannihilaattoreiden ihanteen tutkimisen. Väitöskirjassa selvitetään kaksiulotteisessa tapauksessa ihanteen rakenne tarkasti. Tätä hyödyntämällä saadaan uusia, osittaisia tuloksia koskien edellä mainittuja kombinatorisia ongelmia. Tarkemmin sanottuna väitöskirjassa todistetaan, että matalan kompleksisuuden konfiguraatiot voidaan hajottaa jaksollisten konfiguraatioiden summaksi. Kaksiulotteisessa tapauksessa eräs tällainen hajotelma saadaan annihilaattori-ihanteesta. Tämän avulla todistetaan asymptoottinen versio Nivat’n konjektuurista. Lisäksi osoitetaan Nivat’n konjektuuri oikeaksi konfiguraatioille, jotka ovat kahden jaksollisen konfiguraation summia, ja tämän seurauksena saadaan uusi todistus Cyrin ja Kran artikkelin [CK15] päätulokselle

Lineární rekurentní posloupnosti nad konečnými tělesy

Department of AlgebraKatedra algebryFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult

The Gaia alerted fading of the FUor-type star Gaia21elv

FU Orionis objects (FUors) are eruptive young stars, which exhibit outbursts that last from decades to a century. Due to the duration of their outbursts, and to the fact that only about two dozens of such sources are known, information on the end of their outbursts is limited. Here we analyse follow-up photometry and spectroscopy of Gaia21elv, a young stellar object, which had a several decades long outburst. It was reported as a Gaia science alert due to its recent fading by more than a magnitude. To study the fading of the source and look for signatures characteristic of FUors, we have obtained follow-up near infrared (NIR) spectra using Gemini South/IGRINS, and both optical and NIR spectra using VLT/X-SHOOTER. The spectra at both epochs show typical FUor signatures, such as a triangular shaped $H$-band continuum, absorption-line dominated spectrum, and P Cygni profiles. In addition to the typical FUor signatures, [OI], [FeII], and [SII] were detected, suggesting the presence of a jet or disk wind. Fitting the spectral energy distributions with an accretion disc model suggests a decrease of the accretion rate between the brightest and faintest states. The rapid fading of the source in 2021 was most likely dominated by an increase of circumstellar extinction. The spectroscopy presented here confirms that Gaia21elv is a classical FUor, the third such object discovered among the Gaia science alerts.Comment: Accepted to MNRA

Dissections of triangles and distances of groups

Denote by gdist(p) the least number of cells that have to be changed to get a latin square from the table of addition modulo prime p. A conjecture of Drápal, Cavenagh and Wanless states that there exists c > 0 such that gdist(p) ≤ c log(p). In this work we prove the conjecture for c ≈ 7.21, and the proof is done by constructing a dissection of an equilateral triangle of side n into O(log(n)) equilateral triangles. We also show a proof of the lower bound c log(p) ≤ gdist(p) with improved constant c ≈ 2.73. At the end of the work we present computational data which suggest that gdist(p)/ log(p) ≈ 3.56 for large values of p

Dělení trojúhelníků a vzdálenosti grup

Označme gdist(p) najmenší možný počet políčok, ktorý je nutné zmeniť v tabuľke sčítania modulo prvočíslo p, aby vznikol latinský štvorec. Drápal, Cavenagh a Wanless formulovali hypotézu, podľa ktorej existuje c > 0 také, že gdist(p) ≤ c log(p). V tejto práci je táto hypotéza dokázaná pre c ≈ 7.21, a to pomocou konštrukcie delenia rovnostranného trojuholníka so stranou n na O(log(n)) rovnostranných trojuholníkov. Uvádzame taktiež spodný odhad c log(p) ≤ gdist(p) s vylepšenou konštanou c ≈ 2.73. V práci na záver prezentujeme výpočetné dáta, ktoré naznačujú, že pre veľké hodnoty p platí gdist(p)/ log(p) ≈ 3.56.Denote by gdist(p) the least number of cells that have to be changed to get a latin square from the table of addition modulo prime p. A conjecture of Drápal, Cavenagh and Wanless states that there exists c > 0 such that gdist(p) ≤ c log(p). In this work we prove the conjecture for c ≈ 7.21, and the proof is done by constructing a dissection of an equilateral triangle of side n into O(log(n)) equilateral triangles. We also show a proof of the lower bound c log(p) ≤ gdist(p) with improved constant c ≈ 2.73. At the end of the work we present computational data which suggest that gdist(p)/ log(p) ≈ 3.56 for large values of p.Department of AlgebraKatedra algebryFaculty of Mathematics and PhysicsMatematicko-fyzikální fakult